Logical Equivalence
Logical Equivalence
Two Statements are logically equivalent if they have the same Truth Table (column)
| T | F | T |
| F | T | F |
We can notice here that truth tables
Demonstrating Logical Equivalence
De Morgan's Laws
De Morgan's Laws
The negation of a disjunction is logically equivalent to a conjunction or disjunction of negations, respectively. That is,
Truth Table
| T | T | F | F | T | F | F |
| T | F | F | T | T | F | F |
| F | T | T | F | T | F | F |
| F | F | T | T | F | T | T |